@Book{meyer,
author = {Bertrand Meyer},
title = {Object-Oriented Software Construction},
publisher = {Prentice Hall},
year = {1994},
}

@Book{book:artofunittesting,
author = {Roy Osherove},
title = {The Art of Unit Testing: With Examples in .Net},
publisher = {Manning Publications},
year = {2009},
}

@Book{book:ericevans,
author = {Eric Evans},
title = {Domain-Driven Design: Tackling Complexity in the Heart of Software},
publisher = {Addison-Wesley Professional},
year = {2003},
}

@Article{persistentstatepattern,
author = {A. S. S. Victorio and Andre V. Saude and Gabriel C. A. Coutinho},
title = {Persistent State Pattern},
year = {2010},
}

@Article{transitiontour,
author = {S Naito and M Tsunoyama},
title = {Fault Detection for Sequential Machines by Transition-Tours},
year = {1981},
}

@Article{captheorem,
author = {Brewer, E. A.},
title = {Towards Robust Distributed Systems},
year = {2000},
Journal = {Proceedings of the Annual ACM Symposium on Principles of Distributed Computing}
}

@Article{cqrsdocsbygregyoung,
author = {Greg Young},
title = {CQRS Documents by Greg Young},
year = {2010},
}


@Article{scalablesqlnosqldatastore,
author = {Rick Cattell},
title = {Scalable SQL and NoSQL Data Stores},
year = {2011},
}

@Article{art:eventuallyconsistent,
author = {Werner Vogels},
journal = {Acm Queue},
title = {Eventually Consistent},
year = {2008},
}

@INPROCEEDINGS{Adamczyktheanthology,
author = {Paul Adamczyk},
title = {The anthology of the finite state machine design patterns},
booktitle = {In Proceedings of the Pattern Languages of Programs Conference (PLoP},
year = {}
}

@Article{art:nosqldbpromise,
author = {Neal Leavitt},
title = {Will NoSQL Databases Live Up to Their Promise?},
year = {2010},
}

@InProceedings{StateMachineDesignPattern,
author = {Anatoly Shalyto and Nikita Shamguno and Georgy Kornee},
title = {State Machine Design Pattern},
year = {2006},
conference = {4th International Conference, .NET Technologies}
}

@Book{book:agilemartin,
author = {Robert C. Martin and Micah Martin},
title = {Agile Principles, Patterns, and Practices in C Sharp},
publisher = {Prentice Hall},
year = {2006}
}

@Book{book:fowlerpeaa,
author = {Martin Fowler},
title = {Patterns of Enterprise Application Architecture},
publisher = {Addison-Wesley Professional},
year = {2002}
}

@Book{book:fowlerdsl,
author = {Martin Fowler},
title = {Domain-Specific Languages},
publisher = {Addison-Wesley Professional},
year = {2010}
}

@Book{book:designpatterns,
author = {Erich Gamma and Richard Helm and Ralph Johnson and John Vlissides},
title = {Design Patterns: Elements of Reusable Object-Oriented Software},
publisher = {Addison-Wesley Professional},
year = {1994}
}

@ONLINE{
fowlereventsourcing,
author = {Martin Fowler},
title = {Event Sourcing},
url = {http://martinfowler.com/eaaDev/EventSourcing.html} 
}

@ONLINE{
fowlerlmax:online,
author = {Martin Fowler},
title = {The LMAX Architecture},
url = {http://martinfowler.com/articles/lmax.html} }

@ONLINE{
online:finitestatemachine:defn,
title = {Finite State Machine},
author = {National Institute of Standards and Technology},
url = {http://xlinux.nist.gov/dads/HTML/finiteStateMachine.html} }

@ONLINE{
online:scxmldefn,
title = {State Chart XML (SCXML): State Machine Notation for Control Abstraction},
url = {http://www.w3.org/TR/scxml/} }

@ONLINE{Doe:2009:Online,
author = {Ringo Doe},
title = {This is a test entry of type {@ONLINE}},
month = jun,
year = {2009},
url = {http://www.test.org/doe/}
}

@ONLINE{online:employingthedatamodelpattern,
author = {Udi Dahan},
title = {Employing the Domain Model Pattern},
month = Aug,
year = {2009},
url = {http://msdn.microsoft.com/en-us/magazine/ee236415.aspx}
}

@ONLINE{online:gregsymbiotic,
author = {Greg Young},
title = {CQRS and Event Sourcing},
month = Feb,
year = {2010},
url = {http://codebetter.com/gregyoung/2010/02/13/cqrs-and-event-sourcing/}
}

@ONLINE{online:udidahanclafifiedcqrs,
author = {Udi Dahan},
title = {Clarified CQRS},
month = Dec,
year = {2009},
url = {http://www.udidahan.com/2009/12/09/clarified-cqrs/}
}

@ONLINE{online:codeprojectopenlicense,
title = {The Code Project Open License (CPOL) 1.02},
url = {http://www.codeproject.com/info/cpol10.aspx}
}

@ONLINE{online:youngtaskbasedui,
author = {Greg Young},
title = {Task-Based UI},
url = {http://cqrs.wordpress.com/documents/task-based-ui/}
}

@ONLINE{online:msinductiveuserinterface,
title = {Microsoft Inductive User Interface Guidelines},
year = {2001},
url = {http://msdn.microsoft.com/en-us/library/ms997506.aspx}
}

@ONLINE{online:cqrspatternspractices,
title = {Project "a CQRS Journey"},
year = {2011},
url = {http://cqrsjourney.github.com/}
}

@ONLINE{online:wpfdiagramdesigner,
author = {Sukram},
title = {WPF Diagram Designer - Part 4},
month = Mar,
year = {2008},
url = {http://www.codeproject.com/Articles/24681/WPF-Diagram-Designer-Part-4}
}

@ONLINE{
online:fowlercqrs,
title = {CQRS},
author = {Martin Fowler},
url = {http://martinfowler.com/bliki/CQRS.html} }


@ARTICLE{Derderianautomatedunique,
    author = {Karnig Derderian and Robert M. Hierons and Mark Harman and Qiang Guo},
    title = {Automated Unique Input Output sequence generation for conformance testing of FSMs},
    journal = {The Computer Journal},
    year = {2006},
    volume = {49},
    pages = {2006}
}

@ARTICLE{Khendektestselection,
    author = {Fujiwara Bochmann Khendek and S. Fujiwara and G. V. Bochmann and F. Khendek and M. Amalou and A. Ghedamsi},
    title = {Test Selection Based on Finite State Models},
    journal = {IEEE Transactions on Software Engineering},
    year = {1991},
    volume = {17},
    pages = {591--603}
}